『Homotopy Type Theory Univalent Foundations of Mathematics』Chapter 9 Category theory
P307～P340
table:訳
Rezk completion Rezk補完？
stack completion スタック補完？
essentially surjective 本質的全射 precategory 前圏
saturating
truncation 切り捨て
higher inductive type 高次帰納的型?
table:訳2
mimic 真似る、似せる